#include<bits/stdc++.h>
using namespace std;
int main(){
    long long tmp,num=0,sum=0;
    while(cin>>tmp){sum+=tmp;num++;}
    cout<<(long long)(sum*pow(2,num-1));
    system("pause");
    return 0;
}

